This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...